Formal analysis - PDFSEARCH.IO - Document Search Engine

Formal analysis
Results: 1589

#	Item
141	Lessons Learned in Applying Formal Concept Analysis to Reverse Engineering ∗ Gabriela Ar´evalo, St´ephane Ducasse and Oscar Nierstrasz Software Composition Group University of Bern, Switzerland www.iam.unibe.ch/∼sc Add to Reading List Source URL: rmod.inria.fr Language: English - Date: 2015-11-03 10:16:25 Lattice theory Ontology Data mining Formal concept analysis Machine learning Object Process Methodology Metamodeling Conceptual model
142	Preliminary Results from the Free Linguistic Environment Project Abstract We present ongoing work related to the Free Linguistic Environment (FLE) project, a grammar engineering platform for Lexical Add to Reading List Source URL: nlp.ipipan.waw.pl Language: English - Date: 2016-07-16 06:55:54 Formal languages Compiler construction Natural language parsing Parsing Linguistics SYNTAX Earley parser Chart parser Foma Formal grammar Lexical analysis Stochastic context-free grammar
143	HIERATIC – Hierarchical Analysis of Complex Dynamical Systems WP6 – Formal theoretical results concerning network dynamics John Haslegrave, Chris Cannings The University of Sheffield Add to Reading List Source URL: www.hieratic.eu Language: English Game theory Statistical mechanics Granularity Graining Strategy Markov chain
144	PDF Document Add to Reading List Source URL: www.icdip.org Language: English - Date: 2016-06-21 06:36:18 Computer vision Feature detection Formal sciences Machine learning Image segmentation Image processing Pattern recognition Image analysis Artificial neural network Feature extraction Image registration Statistical classification
145	Syllabus for CSCI001 Inference, Models and Simulation for Complex Systems Fall 2011 Lectures: Tuesdays and Thursdays from 11:00am – 12:15pm in ECCR 131 Lecturer: Aaron Clauset Office: Add to Reading List Source URL: tuvalu.santafe.edu Language: English - Date: 2011-08-22 11:54:58 Formal sciences Econometrics Algorithm Mathematical logic Theoretical computer science Statistics Regression analysis
146	NEW MEXICO Kindergarten MATH STANDARDS PROCESS STANDARDS To help New Mexico students achieve the Content Standards enumerated below, teachers are encouraged to base instruction on the following Process Standards; Add to Reading List Source URL: www.ped.state.nm.us Language: English - Date: 2016-06-25 18:47:44 Formal sciences Mathematical proof Standard Performance Evaluation Corporation Statistics Mathematics Benchmark Mathematical analysis Probability Mathematical model
147	A REVIEW OF THE USE OF STATISTICAL REGRESSION MODELS TO INFORM COST EFFECTIVENESS ANALYSES WITHIN THE NICE TECHNOLOGY APPRAISALS PROGRAMME REPORT BY THE DECISION SUPPORT UNIT Add to Reading List Source URL: www.nicedsu.org.uk Language: English - Date: 2012-10-09 10:45:19 Regression analysis Formal sciences Econometrics Actuarial science Survival analysis Statistics Meta-analysis Linear regression
148	Ontology Application to the Problem of Maritime Traffic Analysis and Understanding Ontological Approaches to Sensor Data Analysis May, 2016 John McDowall Add to Reading List Source URL: ncgia.buffalo.edu Language: English - Date: 2016-05-27 23:40:47 Ontology Knowledge representation Information science Technical communication Semantic Web Upper ontology Formal ontology Web Ontology Language GeoSPARQL Class Draft:Outline of ontologies
149	Spatial Game Analytics and -Visualization Anders Drachen Matthias Schubert College of Computer and Information Science Add to Reading List Source URL: eldar.mathstat.uoguelph.ca Language: English - Date: 2016-07-12 12:05:04 Formal sciences Business intelligence Cartography Geography Geographic data and information Spatial analysis Analytics Data mining Predictive analytics Geographic information system Spatial database Heat map
150	Neighborhoods, Schools, and Academic Achievement: A formal mediation analysis of contextual effects on reading and mathematics Add to Reading List Source URL: www.psc.isr.umich.edu Language: English - Date: 2016-05-18 09:48:30 Charter schools in the United States Poverty School choice Socioeconomic status School segregation in the United States Concentrated poverty

UPDATE